Monoidal reverse differential categories
نویسندگان
چکیده
Abstract Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the differentiation operations used in supervised learning. Here, we define related called monoidal category , prove important results about its relationship to CRDCs, and provide examples of both structures, including coming from models quantum computation.
منابع مشابه
Monoidal Model Categories
A monoidal model category is a model category with a closed monoidal structure which is compatible with the model structure. Given a monoidal model category, we consider the homotopy theory of modules over a given monoid and the homotopy theory of monoids. We make minimal assumptions on our model categories; our results therefore are more general, yet weaker, than the results of [SS97]. In part...
متن کاملTraced pre-monoidal categories
Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that, in a Freyd category, these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.
متن کاملAutonomization of Monoidal Categories
We define the free autonomous category generated by a monoidal category and study some of its properties. From a linguistic perspective, this expands the range of possible models of meaning within the distributional compositional framework, by allowing nonlinearities in maps. From a categorical point of view, this provides a factorization of the construction in [Preller and Lambek, 2007] of the...
متن کاملMonoidal categories and multiextensions
We associate to a group-like monoidal groupoid C a principal bundle E satisfying most of the axioms defining a biextension. The obstruction to the existence of a genuine biextension structure on E is exhibited. When this obstruction vanishes, the biextension E is alternating, and a trivialization of E induces a trivialization of C. The analogous theory for monoidal n-categories is also examined...
متن کاملOn Involutive Monoidal Categories
In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced mon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2023
ISSN: ['1469-8072', '0960-1295']
DOI: https://doi.org/10.1017/s096012952200038x